module HplProducts.HephaestusTypes where
import FeatureModel.Types
import HplAssets.Hephaestus.Types
 
data SPLModel = SPLModel{splHpl :: HephaestusModel}
 
data InstanceModel = InstanceModel{featureConfiguration ::
                                   FeatureConfiguration,
                                   hpl :: HephaestusModel}